T1 spaces over topological sites
نویسندگان
چکیده
منابع مشابه
Sheaves over Topological Spaces
The category of sheaves over a topological space has a rich internal logic, but they also have a very rich geometric interpretation. In these notes I review the basic notions of sheaves over topological spaces, with an emphasis on the geometry of sheaves. I prove that sheaves are toposes, present the proof of the equivalence between the category of sheaves over X and the set of local homeomorph...
متن کاملTopological Logics over Euclidean Spaces
In this paper we prove some results on the computational complexity of standard quantifierfree spatial logics with the connectedness predicate interpreted over the Euclidean spaces R and R. Topological logics with connectedness. A topological logic is a formal language whose variables range over subsets of topological spaces, and whose non-logical primitives denote fixed topological properties ...
متن کاملConstructing Simplicial Complexes over Topological Spaces
The first step in topological data analysis is often the construction of a simplicial complex. This complex approximates the lost topology of a sampled point set. Current techniques often assume that the input is embedded in a metric – often Euclidean – space, and make significant use of the underlying geometry for efficient computation. Consequently, these techniques do not extend to non-Eucli...
متن کاملLindelöf spaces C ( X ) over topological groups
Theorem 1 proves (among the others) that for a locally compact topological group X the following assertions are equivalent: (i) X is metrizable and s-compact. (ii) CpðXÞ is analytic. (iii) CpðXÞ is K-analytic. (iv) CpðXÞ is Lindelöf. (v) CcðX Þ is a separable metrizable and complete locally convex space. (vi) CcðX Þ is compactly dominated by irrationals. This result supplements earlier results ...
متن کاملInterpreting Topological Logics over Euclidean Spaces
makes the intuitively reasonable assertion that, if region r1 externally contacts region r2 and is a non-tangential proper part of region r3, then r2 either partially overlaps, or else is a proper part (tangential or non-tangential) of r3. This particular topological logic, known as RCC8, has been intensively analysed in the literature on qualitative spatial reasoning; see e.g., (Egenhofer and ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 1983
ISSN: 0022-4049
DOI: 10.1016/0022-4049(83)90017-8